O. Slotosch: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Effects of disinfectants and detergents on skin irritation

Caroline M. Slotosch, Günter Kampf, Harald Löffler

Journal:

Contact Dermatitis

Year:

2007

Language:

english

File:

PDF, 168 KB

english, 2007

2

HOLCF = HOL + LCF

MÜLLER, OLAF, NIPKOW, TOBIAS, VON OHEIMB, DAVID, SLOTOSCH, OSCAR

Journal:

Journal of Functional Programming

Year:

1999

Language:

english

File:

PDF, 277 KB

english, 1999

3

Specification based test sequence generation with propositional logic

G. Wimmel, H. Lötzbeyer, A. Pretschner, O. Slotosch

Journal:

Software Testing, Verification and Reliability

Year:

2000

Language:

english

File:

PDF, 224 KB

english, 2000

4

Neutrophilenreiches, CD30+ anaplastisches T-Zell-Lymphom in Assoziation mit einer lymphomatoiden Papulose

C.M. Slotosch, S. Hörster, M. Hertl, E. Schultz

Journal:

Year:

2010

Language:

german

File:

PDF, 340 KB

german, 2010

5

Modelling and Validation: AUTOFOCUS and Quest

Journal:

Formal Aspects of Computing

Year:

2000

Language:

english

File:

PDF, 51 KB

english, 2000

6

Incidence of Symptomatic Vertebral Fractures in Patients After Percutaneous Vertebroplasty

Johannes Hierholzer, Heiko Fuchs, Kerstin Westphalen, Clemens Baumann, Christine Slotosch, Rudolf Schulz

Journal:

CardioVascular and Interventional Radiology

Year:

2008

Language:

english

File:

PDF, 171 KB

english, 2008

7

Model-based testing for real

A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 468 KB

english, 2004

8

Design and Fabrication of Tubular Scaffolds via Direct Writing in a Melt Electrospinning Mode

Toby D. Brown, Anna Slotosch, Laure Thibaudeau, Anna Taubenberger, Daniela Loessner, Cedryck Vaquette, Paul D. Dalton, Dietmar W. Hutmacher

Journal:

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

9

Model-Based Test Case Generation for Smart Cards

J. Philipps, A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel, K. Scholl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 261 KB

english, 2003

10

Birch pollen immunotherapy results in long-term loss of Bet v 1–specific TH2 responses, transient TR1 activation, and synthesis of IgE-blocking antibodies

Möbs, Christian, Ipsen, Henrik, Mayer, Lea, Slotosch, Caroline, Petersen, Arnd, Würtzen, Peter A., Hertl, Michael, Pfützner, Wolfgang

Journal:

Journal of Allergy and Clinical Immunology

Year:

2012

Language:

english

File:

PDF, 685 KB

english, 2012

11

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Traffic lights-an AutoFocus case study

Huber, F., Molterer, S., Schatz, B., Slotosch, O., Vilbig, A.

Year:

1998

Language:

english

File:

PDF, 367 KB

english, 1998

12

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - MoDe: a method for system-level architecture evaluation

Romberg, J., Slotosch, O., Hahn, G.

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

13

[IEEE Comput. Soc Sixth Asia Pacific Software Engineering Conference (APSEC'99) - Takamatsu, Japan (7-10 Dec. 1999)] Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509) - The quest for correct systems: model checking of diagrams and datatypes

Philipps, J., Slotosch, O.

Year:

1999

Language:

english

File:

PDF, 841 KB

english, 1999

14

[IEEE Comput. Soc International Symposium on Software Engineering for Parallel and Distributed Systems - Kyoto, Japan (20-21 April 1998)] Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems - Tool supported specification and simulation of distributed systems

Huber, F., Molterer, S., Rausch, A., Schatz, B., Sihling, M., Slotosch, O.

Year:

1998

Language:

english

File:

PDF, 173 KB

english, 1998

15

[IEEE Comput. Soc International Conference on Application of Concurrency to System Design (ACSD'2003) - Guimaraes, Portugal (18-20 June 2003)] Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. - AutoFOCUS and the MoDe tool

Romberg, J., Jurjens, J., Wimmel, G., Slotosch, O., Hahn, G.

Year:

2003

Language:

english

File:

PDF, 201 KB

english, 2003

16

Birch Pollen Immunotherapy Leads to Differential Induction of Regulatory T Cells and Delayed Helper T Cell Immune Deviation

Mobs, C., Slotosch, C., Loffler, H., Jakob, T., Hertl, M., Pfutzner, W.

Journal:

The Journal of Immunology

Year:

2010

Language:

english

File:

PDF, 778 KB

english, 2010

17

Cellular and Humoral Mechanisms of Immune Tolerance in Immediate-Type Allergy Induced by Specific Immunotherapy

M&ouml, bs, Christian, Slotosch, Caroline, L&ouml, ffler, Harald, Pf&uuml, tzner, Wolfgang, Hertl, Michael

Journal:

International Archives of Allergy and Immunology

Year:

2008

Language:

english

File:

PDF, 240 KB

english, 2008

18

Rezidivierende Epistaxis bei hereditärer hämorrhagischer Teleangiektasie

Slotosch, D, Koller, M, Werner, J A, Folz, B J

Journal:

DMW - Deutsche Medizinische Wochenschrift

Year:

2006

File:

PDF, 211 KB

2006